Jenkins Pipeline Script deploy War files to Tomcat